"""
Documentation package for specification fixing.

This package contains documentation and examples for the
specification fixing module.
"""